Section: New Software and Platforms

SToP

Participants : Christophe Alias, Guillaume Andrieu [University of Lille] , Laure Gonnord [Compsys] .

SToP (Scalable Termination of Programs) is the implementation of the modular termination technique presented at the TAPAS'12 workshop  [18] . It takes as input a large irregular C program and conservatively checks its termination. To do so, SToP generates a set of small programs whose termination implies the termination of the whole input program. Then, the termination of each small program is checked thanks to RanK (see Section  5.9 ). In case of success, SToP infers a ranking (schedule) for the whole program. This schedule can be used in a subsequent analysis to optimize the program.

SToP represents more than 2000 lines of C++. The first results are available at http://compsys-tools.ens-lyon.fr/stop .